Sematics of UML Sequence Diagrams in PVS

Semantics of UML Sequence Diagrams in PVS

Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net

This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, t...

A Framework for Semantics of UML Sequence Diagrams in PVS

This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics of UML sequence diagrams is encoded into the Prototype Verification System (PVS). The primary objective of our work is to make UML models amenable to rigorous analysis by providing their precise semantics. This approac...

Semantics of UML Statecharts in PVS

In this paper, we propose formal semantic definition for UML statecharts in the PVS specification language. Based on the semantic definitions, we develop a general framework for translating UML statechart diagrams into PVS specifications, and show how the resulting specification can be model-checked by using the PVS toolkits. This work is a part of a long-term vision to explore how the PVS form...

An Outline of PVS Semantics for UML Statecharts

The current UML standard provides deenitions for the semantics of its components. These deenitions focus mainly on the static structure of UML, but they don't include an execution semantics. These deenitions include several "semantic variation points" leaving out the door open for multiple interpretations of the concepts involved. This situation can be handled by formalizing the semantic concep...